<?php
$z[0]=Array("global","",142,167);
$z[0][4]['name']="autoindex";
$z[1]=Array("typeurl","",212,229);
$z[2]=Array("typename","",231,249);
$z[3]=Array("arcurl","",280,295);
$z[4]=Array("title","",297,311);
$z[5]=Array("typeurl","",387,404);
$z[6]=Array("typename","",406,424);
$z[7]=Array("arcurl","",440,455);
$z[8]=Array("title","",457,471);

?>